Concurrent Connectivity Maintenance with Infinitely Many Processes

Concurrent Connectivity Maintenance with Infinitely Many Processes Ph . D . Thesis Plan Sara

Infinitely many solutions for a bi-nonlocal‎ ‎equation with sign-changing weight functions

In this paper, we investigate the existence of infinitely many solutions for a bi-nonlocal equation with sign-changing weight functions. We use some natural constraints and the Ljusternik-Schnirelman critical point theory on C1-manifolds, to prove our main results.

A Process Calculus for Universal Concurrent Constraint Programming: Semantics, Logic and Application

We introduce the Universal Timed Concurrent Constraint Programming (utcc) process calculus; a generalisation of Timed Concurrent Constraint Programming. The utcc calculus allows for the specification of mobile behaviours in the sense of Milner’s π-calculus: Generation and communication of private links. We first endow utcc with an operational semantics and then with a symbolic semantics to deal...

Existence results of infinitely many solutions for a class of p(x)-biharmonic problems

The existence of infinitely many weak solutions for a Navier doubly eigenvalue boundary value problem involving the $p(x)$-biharmonic operator is established. In our main result, under an appropriate oscillating behavior of the nonlinearity and suitable assumptions on the variable exponent, a sequence of pairwise distinct solutions is obtained. Furthermore, some applications are pointed out.

A VARIATIONAL APPROACH TO THE EXISTENCE OF INFINITELY MANY SOLUTIONS FOR DIFFERENCE EQUATIONS

The existence of infinitely many solutions for an anisotropic discrete non-linear problem with variable exponent according to p(k)–Laplacian operator with Dirichlet boundary value condition, under appropriate behaviors of the non-linear term, is investigated. The technical approach is based on a local minimum theorem for differentiable functionals due to Ricceri. We point out a theorem as a spe...